--- Symbol state
module frege.compiler.enums.SymState where 

{--
    symbol state 
    -}
data SymState = Unchecked | Typechecking | Recursive | Typechecked | StrictChecked


derive Eq SymState


derive Ord SymState


derive Show SymState


derive Enum SymState


